💧 Liquid Types

Refinement Types, SMT Integration, Program Verification, Type Safety

Feeds to Scour
SubscribedAll
Scoured 19431 posts in 440.0 ms
Build a Compiler in Five Projects
kmicinski.com·7h
🔨Compilers
Flow-Based Programming: Seminal Texts and Theoretical Foundations
repolex.ai·1d·
Discuss: Hacker News
💻Programming languages
Type Variance
en.wikipedia.org·1d·
Discuss: Hacker News
🧮Algebraic Datatypes
Memory-Safe Jule language emerges as C/C++ alternative
thenewstack.io·1h
🦀Rust Macros
Kubernetes Operator for automated Jupyter Notebook validation in MLOps pipelines
reddit.com·17h·
Discuss: r/kubernetes
✅Archive Validation
C and C++ dependencies, don't dream it, be it!
nibblestew.blogspot.com·8m·
Discuss: nibblestew.blogspot.com
🔗Dependency Resolution
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🐚Shell Monads
Declarative, Reproducible Emacs
irreal.org·1h
🧩Shell Metaprogramming
Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway
webpronews.com·16h
🏗️Compiler Archaeology
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·1d
🤝Consensus Protocols
DCP-o-matic • Re: CPL as compositions and multiple CPLs
dcpomatic.com·6h
✅CDDL Validation
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Kadajett/blECSd: A modern typescript rewrite of blessed, with dozens of modern features, a strict functional architecture, and bitECS as a backend for a fully composable API. Not just for games either! ;)
github.com·17h·
Discuss: Hacker News, r/javascript
🦀Rust Macros
LLMs could be, but shouldn't be compilers
alperenkeles.com·1d·
Discuss: Lobsters, Hacker News
🏗️Compiler Archaeology
From Turbo Pascal to TypeScript: Anders Hejlsberg on Language Design, Scale, and AI
dev.to·12h·
Discuss: DEV
💻Programming languages
Style tips for less experienced developers coding with AI
honnibal.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
OpenAI unveils GPT-5.3-Codex, which can tackle more advanced and complex coding tasks
techradar.com
·23h
🔓Open Source Software
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
The Rise of Spec Driven Development
dbreunig.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Pascal-J/type-system-j: adds an optional type system to J language
github.com·3d·
Discuss: Lobsters
🎯Gradual Typing

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help